Orbispaces as differentiable stratified spaces

We present some features of the smooth structure and of the canonical stratification on the orbit space of a proper Lie groupoid. One of the main features is that of Morita invariance of these structures—it allows us to talk about the canonical structure of differentiable stratified space on the orbispace (an object analogous to a separated stack in algebraic geometry) presented by the proper Lie groupoid. The canonical smooth structure on an orbispace is studied mainly via Spallek’s framework of differentiable spaces, and two alternative frameworks are then presented. For the canonical stratification on an orbispace, we extend the similar theory coming from proper Lie group actions. We make no claim to originality. The goal of these notes is simply to give a complementary exposition to those available and to clarify some subtle points where the literature can sometimes be confusing, even in the classical case of proper Lie group actions.     

Generative Art with Swarm Landscapes

We present a generative swarm art project that creates 3D animations by running a Particle Swarm Optimization algorithm over synthetic landscapes produced by an objective function. Different kinds of functions are explored, including mathematical expressions, Perlin noise-based terrain, and several image-based procedures. A method for displaying the particle swarm exploring the search space in aesthetically pleasing ways is described. Several experiments are detailed and analyzed and a number of interesting visual artifacts are highlighted.     

Applying Text Analytics for Studying Research Trends in Dependability

The dependability of systems and networks has been the target of research for many years now. In the 1970s, what is now known as the top conference on dependability—The IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)—emerged gathering international researchers and sparking the interest of the scientific community. Although it started in niche systems, nowadays dependability is viewed as highly important in most computer systems. The goal of this work is to analyze the research published in the proceedings of well-established dependability conferences (i.e., DSN, International Symposium on Software Reliability Engineering (ISSRE), International Symposium on Reliable Distributed Systems (SRDS), European Dependable Computing Conference (EDCC), Latin-American Symposium on Dependable Computing (LADC), Pacific Rim International Symposium on Dependable Computing (PRDC)), while using Natural Language Processing (NLP) and namely the Latent Dirichlet Allocation (LDA) algorithm to identify active, collapsing, ephemeral, and new lines of research in the dependability field. Results show a strong emphasis on terms, like ‘security’, despite the general focus of the conferences in dependability and new trends that are related with ’machine learning’ and ‘blockchain’. We used the PRDC conference as a use case, which showed similarity with the overall set of conferences, although we also found specific terms, like ‘cyber-physical’, being popular at PRDC and not in the overall dataset.     

Asymmetric Diels–Alder cycloadditions of d-erythrose 1,3-butadienes to achiral t-butyl 2H-azirine 3-carboxylate

Two d-erythrose 1,3-butadienes were reacted with electrophilic achiral t-butyl 2H-azirine 3-carboxylate giving cycloadducts with good yields and moderate selectivity. The isomers could be separated to give the major (R)-isomers at C-2 in approximately 50% yield in both cases. Alternatively LACASA-DA methodology was applied to one of the reactions leading to homochiral (R)- and (S)-products by changing the chiral nature of an extra chiral BINOL inductor used.     

Gamma radiation effects on physical properties of parchment documents: Assessment of Dmax

Parchments are important documents that give testimony for History; therefore these materials should be respected and preserved. Considering incremental biodeterioration problems that have to be faced daily, the Archive of the University of Coimbra (AUC) is involved in different scientific projects in order to evaluate and determine new methods for document decontamination and preservation.The aim of this study was to evaluate gamma radiation effects on the colour and texture of the AUC parchment documents. The assessment of these effects was used to estimate the maximum gamma radiation dose (D_max) that could guarantee parchment documents′ decontamination treatment, without significant alteration of their physical properties. Parchment samples were exposed to gamma radiation doses ranging from 10 to 30 kGy. The texture and colour of samples were assessed before and after the irradiation procedure, using a texture analyser and an electronic colorimeter. Hardness and springiness were determined based on texture spectra. Lightness (L?), Chroma (C), greenness vs. redness (a*) and yellowness vs. blueness (b*) values were obtained from colorimetric measures. Results indicate no significant effects of gamma radiation on the texture and colour of parchment for the studied doses.     

On-off scheduling schemes for power-constrained electric vehicle charging

In this paper, we study the problem of establishing a dynamic charging schedule of electric vehicles (EVs) at a charging station, assuming that limited power implies that only a limited number of EVs can charge simultaneously. The only control we assume to be available to the charging station is the ability to (at any given time) turn on or off the power supply to any EV, with this tool we want to develop a charging schedule that will satisfy the energy demands of the EVs in their intended deadlines. We propose two distinct approaches to this problem: a discretized time version, based on a greedy-like algorithm, and a continuous time version, based on linear programming. We compare these two approaches and numerically study the improvement they yield in the efficiency of the charging procedure, when applied to simulated data based on real parking data. Finally, we illustrate the flexibility of the models by sketching several possible extensions.     

Probing the Catalytically Active Species in POM-Catalysed DNA-Model Hydrolysis**

Phosphoester hydrolysis is an important chemical step in DNA repair. One archetypal molecular model of phosphoesters is para-nitrophenylphosphate (pNPP). It has been shown previously that the presence of molecular metal oxide [Mo₇O₂₄]⁶⁻ may catalyse the hydrolysis of pNPP through the partial decomposition of polyoxomolybdate framework resulting in a [(PO₄)₂Mo₅O₁₅]⁶⁻ product. Real-time monitoring of the catalytic system using electrospray ionisation mass spectrometry (ESI-MS) provided a glance into the species present in the reaction mixture and identification of potential catalytic candidates. Following up on the obtained spectrometric data, Density Functional Theory (DFT) calculations were carried out to characterise the hypothetical intermediate [Mo₅O₁₅(pNPP)₂(H₂O)₆]⁶⁻ that would be required to form under the hypothesised transformation. Surprisingly, our results point to the dimeric [Mo₂O₈]⁴⁻ anion resulting from the decomposition of [Mo₇O₂₄]⁶⁻ as the active catalytic species involved in the hydrolysis of pNPP rather than the originally assumed {Mo₅O₁₅} species. A similar study was carried out involving the same species but substituting Mo by W. The mechanism involving W species showed a higher barrier and less stable products in agreement with the non-catalytic effect found in experimental results.